Formalizing Kant’s Rules
نویسندگان
چکیده
منابع مشابه
SailAway: Formalizing Navigation Rules
Agents that have to solve navigational tasks need to consider aspects that go far beyond single-agent goal-directed deliberation: What an agent does in a specific situation often interferes with what other agents do at the same time. In order to avoid conflicts or even collisions, situations in space are governed by laws, rules, and agreements between the involved agents. For this reason, artif...
متن کاملFormalizing Con guration Knowledge Using Rules with Choices
This paper studies the formal underpinnings of the product connguration problem. A rule-based language is proposed for expressing typical forms of knowledge interactions in connguration models, i.e. choices, dependencies between choices, optionality and defaults. The language is equipped with a declarative semantics that provides formal deenitions for the main concepts in product connguration, ...
متن کاملFormalizing Non-Formalism: Breaking the Rules of Automated Game Design
Automated game design (AGD) is an exciting new frontier for generative software and games research, one which intersects many areas of AI as well as cutting across the many creative domains involved in developing a game. However, there is a trend throughout existing automated game design work to concentrate primarily on the rules that underpin a game – objectives, obstacles, and the notion of c...
متن کاملFormalizing ICD coding rules using Formal Concept Analysis
BACKGROUND With the 11th revision of the International Classification of Disease (ICD) being officially launched by the World Health Organization (WHO), the significance of a formal representation for ICD coding rules has emerged as a pragmatic concern. OBJECTIVES To explore the role of Formal Concept Analysis (FCA) on examining ICD10 coding rules and to develop FCA-based auditing approaches ...
متن کاملFormalizing Harmony Rules for Nutrition Counseling Expert System
The development of IT and related technologies made it possible to provide personalized lifestyle assessment to the general population by using online services and smartphones, which can have great impact on the health of the population. The MenuGene nutrition and lifestyle counseling expert system provides services for the logging of lifestylerelated activities like food consumption, physical ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Journal of Philosophical Logic
سال: 2019
ISSN: 0022-3611,1573-0433
DOI: 10.1007/s10992-019-09531-x